Type-definable groups in C-minimal structures
نویسنده
چکیده
This paper studies type-definable groups in C-minimal structures. We show first for some of these groups, that they contain a cone which is a subgroup. This result will be applied to show that in any geometric locally modular non trivial C-minimal structure, there is a definable infinite C-minimal group.
منابع مشابه
Connected components of definable groups and o-minimality I
We give examples of definable groups G (in a saturated model, sometimes o-minimal) such that G00 6= G000, yielding also new examples of “non G-compact” theories. We also prove that for G definable in a (saturated) o-minimal structure, G has a “bounded orbit” (i.e. there is a type of G whose stabilizer has bounded index) if and only if G is definably amenable, giving a positive answer to a conje...
متن کاملType-definable and invariant groups in o-minimal structures
Let M be a big o-minimal structure and G a type-definable group in Mn. We show that G is a type-definable subset of a definable manifold in Mn that induces on G a group topology. If M is an o-minimal expansion of a real closed field, then G with this group topology is even definably isomorphic to a type-definable group in some Mk with the topology induced by Mk. Part of this result holds for th...
متن کاملA descending chain condition for groups definable in o-minimal structures
We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G has a smallest (necessarily normal) type-definable subgroup G of bounded index and G/G equipped with the “logic topology” is a compact Lie group. These results give partial answers to some conjectures of the fourth auth...
متن کاملA survey on groups definable in o-minimal structures
Groups definable in o-minimal structures have been studied for the last twenty years. The starting point of all the development is Pillay’s theorem that a definable group is a definable group manifold (see Section 2). This implies that when the group has the order type of the reals, we have a real Lie group. The main lines of research in the subject so far have been the following: (1) Interpret...
متن کاملSolvable groups definable in o-minimal structures
Let N be an o-minimal structure. In this paper we develop group extension theory over N and use it to describe N -definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal’cev theorem and we describe N -definable G-modules and N -definable
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010